<?php

//重新定义php
